- недоказуемое утверждение
- unprovable statement
Русско-английский словарь по электронике. 2009.
недоказуемое утверждение
Look at other dictionaries:
Математическое доказательство — У этого термина существуют и другие значения, см. Доказательство. В математике доказательством называется цепочка логических умозаключений, показывающая, что при каком то наборе аксиом и правил вывода верно некоторое утверждение. В зависимости от … Википедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… … Философская энциклопедия
ФЛОРЕНСКИЙ — Павел Александрович [9(21). 1. 1882, Евлах, ныне Азерб. ССР, 15. 12. 1943], рус. учёный, религ. философ. В осн. соч. «Столп и утверждение истины» (1914) религ.филос. проблематика, в центре которой идущие от Вл. Соловьёва концепция… … Философская энциклопедия
ДУША — (греч. psyhe, лат. anima) одно из центральных понятий европейской философии, в связи с разработкой которого вся иерархия бытия, жизни и мысли постепенно осваивается как в своих самых низких, так и самых высоких пластах и по отношению к которому… … Философская энциклопедия
Вторая теорема Геделя — Теоремы Гёделя о неполноте две теоремы математической логики о неполноте формальных систем определённого рода. Содержание 1 Первая теорема Гёделя о неполноте 2 Вторая теорема Гёделя о неполноте … Википедия
Вторая теорема Гёделя — Теоремы Гёделя о неполноте две теоремы математической логики о неполноте формальных систем определённого рода. Содержание 1 Первая теорема Гёделя о неполноте 2 Вторая теорема Гёделя о неполноте … Википедия
Неполнота математики — Теоремы Гёделя о неполноте две теоремы математической логики о неполноте формальных систем определённого рода. Содержание 1 Первая теорема Гёделя о неполноте 2 Вторая теорема Гёделя о неполноте … Википедия
ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… … Философская энциклопедия
постулат — а; м. [лат. postulatum] Книжн. Исходное положение, принимаемое без доказательств. Постулаты Эвклидовой геометрии. Система физических постулатов. Исходить из постулата об относительности истины. * * * постулат (от лат. postulatum требование),… … Энциклопедический словарь
ПОСТУЛАТ — (от латинского postulatum требование), утверждение (суждение), принимаемое в рамках какой либо научной теории за истинное, хотя и недоказуемое ее средствами, и поэтому играющее в ней роль аксиомы … Современная энциклопедия
